- система продукций Поста
- Information technology: Post-production system
Универсальный русско-английский словарь. Академик.ру. 2011.
система продукций Поста
Смотреть что такое "система продукций Поста" в других словарях:
ПОСТА СИСТЕМА ПРОДУКЦИЙ — нормальная система Поста, нормальное исчисление Поста, частный случай Поста канонической системы, когда все правила вывода имеют вид и имеется только одно исходное слово (одна аксиома рассматриваемого исчисления). Э. Пост [1] установил… … Математическая энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
ВЕЛИКОБРИТАНИЯ — (Great Britain) гос во в Зап. Европе, расположено на Британских о вах. Офиц. назв. В. Соединенное Королевство Великобритании и Северной Ирландии (United Kingdom of Great Britain and Northern Ireland); часто всю В. неточно именуют Англией (по назв … Советская историческая энциклопедия
